Optimal. Leaf size=97 \[ \frac{2 A c \sqrt{a+c x^2}}{3 a^2 x}+\frac{B c \tanh ^{-1}\left (\frac{\sqrt{a+c x^2}}{\sqrt{a}}\right )}{2 a^{3/2}}-\frac{A \sqrt{a+c x^2}}{3 a x^3}-\frac{B \sqrt{a+c x^2}}{2 a x^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0730243, antiderivative size = 97, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.25, Rules used = {835, 807, 266, 63, 208} \[ \frac{2 A c \sqrt{a+c x^2}}{3 a^2 x}+\frac{B c \tanh ^{-1}\left (\frac{\sqrt{a+c x^2}}{\sqrt{a}}\right )}{2 a^{3/2}}-\frac{A \sqrt{a+c x^2}}{3 a x^3}-\frac{B \sqrt{a+c x^2}}{2 a x^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 835
Rule 807
Rule 266
Rule 63
Rule 208
Rubi steps
\begin{align*} \int \frac{A+B x}{x^4 \sqrt{a+c x^2}} \, dx &=-\frac{A \sqrt{a+c x^2}}{3 a x^3}-\frac{\int \frac{-3 a B+2 A c x}{x^3 \sqrt{a+c x^2}} \, dx}{3 a}\\ &=-\frac{A \sqrt{a+c x^2}}{3 a x^3}-\frac{B \sqrt{a+c x^2}}{2 a x^2}+\frac{\int \frac{-4 a A c-3 a B c x}{x^2 \sqrt{a+c x^2}} \, dx}{6 a^2}\\ &=-\frac{A \sqrt{a+c x^2}}{3 a x^3}-\frac{B \sqrt{a+c x^2}}{2 a x^2}+\frac{2 A c \sqrt{a+c x^2}}{3 a^2 x}-\frac{(B c) \int \frac{1}{x \sqrt{a+c x^2}} \, dx}{2 a}\\ &=-\frac{A \sqrt{a+c x^2}}{3 a x^3}-\frac{B \sqrt{a+c x^2}}{2 a x^2}+\frac{2 A c \sqrt{a+c x^2}}{3 a^2 x}-\frac{(B c) \operatorname{Subst}\left (\int \frac{1}{x \sqrt{a+c x}} \, dx,x,x^2\right )}{4 a}\\ &=-\frac{A \sqrt{a+c x^2}}{3 a x^3}-\frac{B \sqrt{a+c x^2}}{2 a x^2}+\frac{2 A c \sqrt{a+c x^2}}{3 a^2 x}-\frac{B \operatorname{Subst}\left (\int \frac{1}{-\frac{a}{c}+\frac{x^2}{c}} \, dx,x,\sqrt{a+c x^2}\right )}{2 a}\\ &=-\frac{A \sqrt{a+c x^2}}{3 a x^3}-\frac{B \sqrt{a+c x^2}}{2 a x^2}+\frac{2 A c \sqrt{a+c x^2}}{3 a^2 x}+\frac{B c \tanh ^{-1}\left (\frac{\sqrt{a+c x^2}}{\sqrt{a}}\right )}{2 a^{3/2}}\\ \end{align*}
Mathematica [A] time = 0.152729, size = 73, normalized size = 0.75 \[ \frac{\sqrt{a+c x^2} \left (\frac{-2 a A-3 a B x+4 A c x^2}{x^3}+\frac{3 B c \tanh ^{-1}\left (\sqrt{\frac{c x^2}{a}+1}\right )}{\sqrt{\frac{c x^2}{a}+1}}\right )}{6 a^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.01, size = 87, normalized size = 0.9 \begin{align*} -{\frac{A}{3\,a{x}^{3}}\sqrt{c{x}^{2}+a}}+{\frac{2\,Ac}{3\,{a}^{2}x}\sqrt{c{x}^{2}+a}}-{\frac{B}{2\,a{x}^{2}}\sqrt{c{x}^{2}+a}}+{\frac{Bc}{2}\ln \left ({\frac{1}{x} \left ( 2\,a+2\,\sqrt{a}\sqrt{c{x}^{2}+a} \right ) } \right ){a}^{-{\frac{3}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.61304, size = 351, normalized size = 3.62 \begin{align*} \left [\frac{3 \, B \sqrt{a} c x^{3} \log \left (-\frac{c x^{2} + 2 \, \sqrt{c x^{2} + a} \sqrt{a} + 2 \, a}{x^{2}}\right ) + 2 \,{\left (4 \, A c x^{2} - 3 \, B a x - 2 \, A a\right )} \sqrt{c x^{2} + a}}{12 \, a^{2} x^{3}}, -\frac{3 \, B \sqrt{-a} c x^{3} \arctan \left (\frac{\sqrt{-a}}{\sqrt{c x^{2} + a}}\right ) -{\left (4 \, A c x^{2} - 3 \, B a x - 2 \, A a\right )} \sqrt{c x^{2} + a}}{6 \, a^{2} x^{3}}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 4.09461, size = 97, normalized size = 1. \begin{align*} - \frac{A \sqrt{c} \sqrt{\frac{a}{c x^{2}} + 1}}{3 a x^{2}} + \frac{2 A c^{\frac{3}{2}} \sqrt{\frac{a}{c x^{2}} + 1}}{3 a^{2}} - \frac{B \sqrt{c} \sqrt{\frac{a}{c x^{2}} + 1}}{2 a x} + \frac{B c \operatorname{asinh}{\left (\frac{\sqrt{a}}{\sqrt{c} x} \right )}}{2 a^{\frac{3}{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.19154, size = 204, normalized size = 2.1 \begin{align*} -\frac{B c \arctan \left (-\frac{\sqrt{c} x - \sqrt{c x^{2} + a}}{\sqrt{-a}}\right )}{\sqrt{-a} a} + \frac{3 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + a}\right )}^{5} B c + 12 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + a}\right )}^{2} A a c^{\frac{3}{2}} - 3 \,{\left (\sqrt{c} x - \sqrt{c x^{2} + a}\right )} B a^{2} c - 4 \, A a^{2} c^{\frac{3}{2}}}{3 \,{\left ({\left (\sqrt{c} x - \sqrt{c x^{2} + a}\right )}^{2} - a\right )}^{3} a} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]